1. 由 K-C 方程,

2. 由于 $p_{ij} \in [0, 1], \vqty{z} < 1$, 有 $\det(z \bm P) \in (-1, 1)$, 从而 $\nlim \bm Q^n = \bm 0$, 于是由引理即得

证毕.